Two Restrictions on Contraction
نویسندگان
چکیده
منابع مشابه
Two Restrictions on Contraction
I show two simple limitations of sequent systems with multiplicative context treatment: contraction can be restricted neither to atoms nor to the bottom of a proof tree.
متن کاملTwo restrictions on possible connectives
If languages could lexicalize arbitrary truth tables as sentential connectives, we should be able to find a great variety of connectives in the world’s languages. However, very few connectives are typologically attested, as has long been known. For example, no known language lexicalizes if-and-only-if, not-and, or McCawley (1972)’s schmor, a connective that returns true exactly when two or more...
متن کاملOn the existence of fixed points for contraction mappings depending on two functions
In this paper we study the existence of fixed points for mappings defined on complete metric spaces, satisfying a general contractive inequality depending on two additional mappings.
متن کاملOn permutation pattern classes with two restrictions only
Permutation pattern classes that are defined by avoiding two permutations only and which contain only finitely many simple permutations are characterized and their growth rates are determined.
متن کاملConsequences of port restrictions on testing two-port memories
Testing two-port memories requires the use of single-port tests as well as special two-port tests; the test strategy determines which tests to be used. Many two-port memories have ports which are read-only or write-only; this impacts the possible fault models, the tests for single-port and two-port memories, as well as the test strategy. This paper presents a test strategy for two-port memories...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 2003
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/11.5.525